12. A Logical Analysis of Relational Program Correctness
پدیدآورنده : Nikouei, Mohammad
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science
13. A Logical Analysis of Relational Program Correctness
پدیدآورنده : Nikouei, Mohammad
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science
14. A SystemC primer /
پدیدآورنده : J. Bhasker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : C++ (Computer program language),System design.
15. A pathology of computer viruses
پدیدآورنده : David Ferbrache.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer viruses.,Computervirus,Computervirussen.
رده :
QA76
.
76
.
C68
D385
1992
16. A practical guide to adopting the Universal Verification Methodology (UVM)
پدیدآورنده : Sharon Rosenberg, Kathleen A. Meade.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programs -- Verification.,Computer software -- Verification.,Debugging in computer science.
رده :
QA76
.
76
.
V57
S537
2010
17. ALPHARD :
پدیدآورنده : Mary Shaw
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Abstraktion.,Alphard.,Datentyp.
18. Accuracy Verification Methods: Theory and Algorithms
پدیدآورنده : / ki, Sergey Repin (auth.)عOlli Mali, Pekka Neittaanm
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
19. Achieving Safety and Reliability with Computer Systems
پدیدآورنده : edited by B.K. Daniels.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Engineering.,Software engineering.,Statistics.
رده :
QA76
.
76
.
R44
E358
1987
20. Advanced Information Processing :
پدیدآورنده : edited by Heinz Schwärtzel, Igor A. Mizin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer hardware.,Computer science.,Software engineering.
رده :
QA75
.
5
E358
1990